Failed to solve the following constraints:
  Is empty: x ≡ In x
      [ at Issue1271.agda:40,8-10 ]
